向量空間是一個嚴謹的數學「遊戲場」，其定義不取決於物件本身的性質，而是取決於這些物件的行為方式。無論你處理的是 $\mathbf{R}^n$ 中的箭頭、$\mathbf{M}$ 中的矩陣，還是連續函數，都遵循相同的規則。
空間的八條公理
只要一個物件集合遵守以下基本規則，它就是一個向量空間：
- 1. 交換律： $x + y = y + x$
- 2. 結合律： $x + (y + z) = (x + y) + z$
- 3. 零向量： 存在唯一的 $0$，使得 $x + 0 = x$
- 4. 反元素： 對每個 $x$，都存在唯一的 $-x$，使得 $x + (-x) = 0$
- 5. 單位元： $1x = x$
- 6. 數乘結合律： $(c_1c_2)x = c_1(c_2x)$
- 7. 分配律（一）： $c(x + y) = cx + cy$
- 8. 分配律（二）： $(c_1 + c_2)x = c_1x + c_2x$
定義子空間
向量空間 $V$ 的子空間 $S$ 是一個在大空間運算下「封閉」的子集。無論如何相加或縮放其成員，都不會使其離開這個子集。
封閉性定理
當且僅當對於所有 $v, w \in S$ 與任意純量 $c, d$，有：
$$cv + dw \in S$$
這表示 $S$ 必須包含零向量（$0 \in S$），因為 $0v = 0$。張成與和
一個集合 $S$ 的 張成 是包含 $S$ 中所有向量的最小子空間：
$$SS = \text{所有 } c_1v_1 + \dots + c_nv_n$$
此外，給定兩個子空間 $S$ 與 $T$，它們的 和 $S + T$（包含所有向量 $s+t$）構成一個新的子空間。注意，其 並集 $S \cup T$ 幾乎從來不是一個子空間！
🎯 「零向量」驗證測試
最快判斷一個子集是否為子空間的方法，就是檢查零向量是否存在。若 $x=0$ 不在其中，就不可能是子空間。常見錯誤包括偏離原點的平面，或排除負值的象限。